Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
521	T. Hirashima et al. (EdsProceedings of the 19th International Conference on Computers in Education. Chiang Mai, Thailand: Asia-Pacific Society for Computers in Education Algorithm Learning Environment for Link Add to Reading List Source URL: www.nectec.or.th Language: English - Date: 2011-11-11 02:49:08 Algorithm Mathematical logic Theoretical computer science Pointer Stack Linked list C Programming language Computing Software engineering Computer programming
522	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics
523	Under consideration for publication in Theory and Practice of Logic Programming 1 Book review ∗ Bart Kuipers Add to Reading List Source URL: cse.unl.edu Language: English - Date: 2004-07-24 13:33:23 Database theory Data Query languages Computer languages Relational database Relational model SQL Datalog Database Data management Database management systems Computing
524	Errata This document contains errata for Modern Programming Languages: A Practical Introduction, 2nd ed. by Adam Brooks Webber, published in 2011 by Franklin, Beedle & Associates, Inc. These corrections represent all err Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2012-05-16 11:45:57 Denotational semantics Applied mathematics Theoretical computer science Logic in computer science Models of computation
525	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
526	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
527	Negation Scope Delimitation in Clinical Text Using Three Approaches: NegEx, PyConTextNLP and SynNeg Hideyuki Tanushi1 , Hercules Dalianis1 , Martin Duneld1 , Maria Kvist1,2 , Maria Skeppstedt1 , Sumithra Velupillai1 (1) Add to Reading List Source URL: www.diva-portal.org Language: English - Date: 2013-10-31 05:33:58 Computational linguistics Boolean algebra Negation Parsing Treebank Auxiliary verb Logic programming Syntax Linguistics Grammar Semantics
528	Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-14 20:29:16 Programming paradigms Query languages Deduction Database Relational model Entailment Modal logic SQL Knowledge representation and reasoning Logic Database management systems Philosophical logic
529	ACM ICPC 2014–2015, NEERC, Northern Subregional Contest St Petersburg, November 8, 2014 Problem A. Alarm Clock Input file: Output file: Add to Reading List Source URL: neerc.ifmo.ru Language: English - Date: 2014-11-08 20:21:31 Formal languages Procedural programming languages Cross-platform software Lambda calculus Automata theory Regular expression Function Combinatory logic C Mathematics Software engineering Computing
530	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. Nathan Foster Michael B. Greenwald Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-13 21:11:53 Computer science Principles of Programming Languages Computing Lambda calculus Logic in computer science Combinatory logic

UPDATE